It was shown in [3] (see also [5]) that there is a duality between the category of bounded distributive lattices endowed with a join-homomorphism and the category of Priestley spaces endowed with a Priestley relation. In this paper, bounded distributive lattices endowed with a join-homomorphism, are considered as algebras and we characterize the congruences of these algebras in terms of the mentioned duality and certain closed subsets of Priestley spaces. This enable us to characterize the simple and subdirectly irreducible algebras. (...) In particular, Priestley relations enable us to characterize the congruence lattice of the Q-distributive lattices considered in [4]. Moreover, these results give us an effective method to characterize the simple and subdirectly irreducible monadic De Morgan algebras [7].The duality considered in [4], was obtained in terms of the range of the quantifiers, and such a duality was enough to obtain the simple and subdirectly irreducible algebras, but not to characterize the congruences. (shrink)

In the last decades, research in science mapping has delivered several powerful techniques, based on citation or textual analysis, for charting the intellectual organization of research fields. To map the social network underlying science and scholarship, by contrast, science mapping has mainly relied on one method, co-authorship analysis. This method, however, suffers from well-known limitations related to the practice of authorship. Moreover, it does not perform well on those fields where multi-authored publications are rare. In this study, a new method (...) for mapping the social structure of research fields is advanced, based on the analysis of the acknowledgments of academic publications. We first discuss the standard account of the function of acknowledgments in scholarly communication, then we introduce a new interpretative framework in which the acknowledgments are intended as positioning signals exchanged by researchers. Next, we provide the formal definition of the four acknowledgments-based networks that stand at the core of the method, and we test it on a humanities field, analytic philosophy. Results show that acknowledgement-based networks allow to reconstruct the fine-grained social structure of analytic philosophy from different perspectives. Furthermore, by comparing the citation-based maps of the field with the acknowledgments-based networks, it permits to shed light on the relationship between the intellectual and social layer of analytic philosophy. We conclude by presenting practical limitations of the method and by sketching some further research lines. (shrink)

Science maps are visual representations of the structure and dynamics of scholarly knowl­edge. They aim to show how fields, disciplines, journals, scientists, publications, and scientific terms relate to each other. Science mapping is the body of methods and techniques that have been developed for generating science maps. This entry is an introduction to science maps and science mapping. It focuses on the conceptual, theoretical, and methodological issues of science mapping, rather than on the mathematical formulation of science mapping techniques. After (...) a brief history of science mapping, we describe the general procedure for building a science map, presenting the data sources and the methods to select, clean, and pre-process the data. Next, we examine in detail how the most common types of science maps, namely the citation-based and the term-based, are generated. Both are based on networks: the former on the network of publications connected by citations, the latter on the network of terms co-occurring in publications. We review the rationale behind these mapping approaches, as well as the techniques and methods to build the maps. We also present less-common types of science maps, including co-authorship networks, interlocking editorship networks, maps based on patents’ data, and geographic maps of science. Moreover, we consider how time can be represented in science maps to investigate the dynamics of science. We also discuss some epistemological and sociological topics that can help in the interpretation, contextualization, and assessment of science maps. Then, we present some possible applications of science maps in science policy. In the conclusion, we point out why science mapping may be interesting for all the branches of meta-science, from knowl­edge organization to epistemology. (shrink)

_Abstract_: Fueled by the rapid development of neuroscientific tools and techniques, some scholars consider the shift from traditional cognitive psychology toward cognitive neuroscience to be a _revolution_ (most notably Boone and Piccinini). However, the term “revolution” in philosophy of science can easily be construed as involving a paradigm shift in the sense of Kuhn’s _The Structure of Scientific Revolutions_. Is a Kuhnian account sound in the case at hand? To answer this question, we consider heuristic indicators of two features of (...) paradigm shifts: the incommensurability of ontologies; and a gap between scientific communities. Based on our evidence, we argue that no revolution has occurred (at least, not yet). _Keywords_: Cognitive Neuroscience; Cognitive Psychology; Philosophy of Science; Thomas Kuhn; Scientometrics _La “rivoluzione delle neuroscienze cognitive” non è una rivoluzione (in senso kuhniano). Evidenze scientometriche _ _Riassunto_:_ _Complice il rapido sviluppo di strumenti e tecniche in neuroscienze, alcuni studiosi (in particolare Boone e Piccinini) intendono il passaggio dalla psicologia cognitiva classica alla neuroscienza cognitiva nei termini di una _rivoluzione_. Tuttavia, il termine ‘rivoluzione’ in filosofia della scienza è strettamente associato alla nozione di successione di paradigmi esposta da Kuhn ne _La struttura delle rivoluzioni scientifiche_. Obiettivo di questo lavoro è capire se effettivamente la concezione kuhniana offra una corretta descrizione di questa dinamica storica. In particolare, prenderemo in esame due indicatori euristici delle rivoluzioni kuhniane: l’incommensurabilità ontologica trai due paradigmi e la diversa composizione demografica delle comunità scientifiche. Sulla base delle evidenze scientometriche che prenderemo in esame, affermeremo che non è avvenuta nessuna rivoluzione (almeno per ora). _Parole chiave_: Neuroscienze cognitive; Psicologia cognitiva; Filosofia della scienza; Thomas Kuhn; Scientometria. (shrink)

This book offers an unprecedented quantitative portrait of analytic philosophy focusing on two seemingly marginal features of philosophical texts: citations and acknowledgements in academic publications. Originating from a little network of philosophers based in Oxford, Cambridge, and Vienna, analytic philosophy has become during the Twentieth century a thriving philosophical community with thousands of members worldwide. Leveraging the most advanced techniques from bibliometrics, citations and acknowledgments are used in this book to shed light on both the epistemology and the sociology of (...) this philosophical field, illuminating the intellectual trajectory of analytic philosophy as well as the social characteristics of the analytic community. Special attention is dedicated to the last forty years, providing insights into a phase of analytic philosophy which is still understudied by historians of philosophy. In the eight chapters of the book, readers will find not only numerous quantitative investigations and technical explanations, but also a robust theoretical framework and epistemological reflections on the strengths and limitations of quantitative methods for the study of philosophy. With its strong interdisciplinary appeal, this book will engage a wide range of scholars, including historians of philosophy seeking new methodologies, analytic philosophers interested in a new look at their discipline, and scholars in digital humanities, bibliometrics, and quantitative studies of science, who will find many innovative techniques for investigating disciplinary fields. (shrink)

Evangelical Protestant spirituality, under the influence of the Enlightenment, has assumed a somewhat modernist flavor. As a result, traditional forms of religious symbol and piety were demoted in favor of religious affections, true spirituality was now discerned by means of “heart knowledge,” and the assurance of salvation assumed a place of prominence in the emerging market of spiritual autobiography. This essay explores several ways that a non-monastic, non-modern Protestant tradition, which lives according to a community rule, can contribute to the (...) spiritual formation conversation. I begin by introducing the reader to the Amish narrative and discuss how two theological themes shape their approach to spirituality–-the cross of Christ and the relationship between faith and works, justification and sanctification. Next, I question a common view of Jesus’ ministry as being diametrically opposed to that of the Pharisees and suggest that the Sermon on the Mount deserves to be central to the enterprise of spiritual formation. I conclude this essay by revealing how the Amish put spiritual theology into practice, via a locally constructed Ordnung and while seated around the supper table. (shrink)

The article investigates what happens when philosophy meets and begins to establish connections with two formal research methods such as game theory and network science. We use citation analysis to identify, among the articles published in Synthese and Philosophy of Science between 1985 and 2021, those that cite the specialistic literature in game theory and network science. Then, we investigate the structure of the two corpora thus identified by bibliographic coupling and divide them into clusters of related papers by automatic (...) community detection. Lastly, we construct by the same bibliometric techniques a reference map of philosophy, on which we overlay our corpora to map the diffusion of game theory and network science in the various sub-areas of recent philosophy. Three main results derive from this study. Philosophers are interested not only in using and investigating game theory as a formal method belonging to applied mathematics and sharing many relevant features with social choice theory, but also in considering its applications in more empirically oriented disciplines such as social psychology, cognitive science, or biology. Philosophers focus on networks in two research contexts and in two different ways: in the debate on causality and scientific explanation, they consider the results of network science; in social epistemology, they employ network science as a formal tool. In the reference map, logic—whose use in philosophy dates back to a much earlier period—is distributed in a more uniform way than recently encountered disciplines such as game theory and network science. We conclude by discussing some methodological limitations of our bibliometric approach, especially with reference to the problem of field delineation. (shrink)

A INEFICIENTE POLÍTICA DA CRIMINALIZAÇÃO DO ABORTO: UM ESTUDO COMPARATIVO ENTRE BRASIL E URUGUAI.

O INJUSTIFICADO NÃO-RECONHECIMENTO DAS FAMÍLIAS SIMULTÂNEAS: UMA ANÁLISE CONSTITUCIONAL.

It is shown that in a linearly ordered MV-algebra A , the implication is unique if and only if the identity function is the unique De Morgan automorphism on A . Modulo categorical equivalence, our uniqueness criterion recalls Ohkuma's rigidness condition for totally ordered abelian groups. We also show that, if A is an Archimedean totally ordered MV-algebra, then each non-trivial De Morgan automorphism of the underlying involutive lattice of A yields a new implication on A , which is not (...) isomorphic to the original implication. (shrink)

A family of formal intuitionistic theories is proposed with realizability of proved formulas in several subrecursive classes, e.g. Grzegorczyk classes, polynomial-time computable functions class, etc. xA) Algorithm extraction forxyA is shown for various classes of bounded complexity. The results on polynomial computability are closely connected to work on the Bounded Arithmetic by S. Buss.

In our paper we propose a philosophicalanalysis, based on the notion ofphenomenological model, of Nuclear Physics. Inthis way, we will show some peculiarities ofthis branch of physics.